Search results for " execution"
showing 10 items of 40 documents
Edge-Based Missing Data Imputation in Large-Scale Environments
2021
Smart cities leverage large amounts of data acquired in the urban environment in the context of decision support tools. These tools enable monitoring the environment to improve the quality of services offered to citizens. The increasing diffusion of personal Internet of things devices capable of sensing the physical environment allows for low-cost solutions to acquire a large amount of information within the urban environment. On the one hand, the use of mobile and intermittent sensors implies new scenarios of large-scale data analysis
La sentencia y su ejecución en el proyecto dominicano de ley sobre control judicial de la administración pública
2021
The regime of the execution of the sentence is analyzed, starting from the powers of declarative and executive substitution of the contentious-administrative judge. It begins with the reference to the constitutional guidelines of the administrative process. Then, the different modalities of judicial substitution are described in the types of sentences (declarative, constitutive and conviction) regulated in the project, to then refer to the regime of executive seizure of public goods. It ends by describing: the powers granted to the judge to agree indirect measures that assist with the execution of the judgment, the cases of impossibility of execution and the extension of the sentence to thi…
Sull'esecuzione del contratto secondo buona fede
2023
Il saggio affronta le principali applicazioni della buona fede nell'interpretazione e nell'esecuzione del contratto. L'autore critica alcune soluzioni della giurisprudenza della Corte di cassazione, specie con riguardo a condotte riconducibili alla figura dell'abuso di personalità giuridica. The essay deals with the main applications of good faith in the interpretation and execution of the contract. The author criticizes some solutions of the jurisprudence of the Court of Cassation, especially with regard to conduct attributable to the figure of abuse of the legal person.
Dissociating effect of upper limb non-use and overuse on space and body representations.
2015
Accurate and updated representations of the space where the body acts, i.e. the peripersonal space (PPS), and the location and dimension of body parts (body representation, BR) are essential to perform actions. Because both PPS and BR are involved in motor execution and display the same plastic proprieties after the use of a tool to reach far objects, it has been suggested that they overlap in a unique representation of the body in a space devoted to action. Here we determined whether manipulating actions in space, without modifying body metrics, i.e. through immobilization, induces a dissociation of the plastic properties of PPS and BR. In 39 healthy subjects we evaluated PPS and BR for th…
An execution in medieval Sicily: Computerised tomography scan analysis and 3D reconstruction of an ancient forensic context
2019
The bioarchaeological and forensic approach is increasingly applied in the study of funerary contexts in archaeology. Here, we present a case of an atypical medieval burial recently discovered in Piazza Armerina (Sicily), in which the integrated use of traditional bioarchaeological and forensic anthropology methods was crucial. The skeleton was lying in a prone position and was characterised by a peculiar injury pattern. We recorded six clear stab wound marks on the posterior surface of the sternum. The use of computerised tomography scan and 3D modelling techniques has made it possible to obtain a reliable reconstruction of the cause and modality of death, pointing to the execution of the …
On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices
2020
Internet of Things (IoT) applications operate in several domains while requiring seamless integration among heterogeneous objects. Regardless of the specific platform and context, IoT applications demand high energy efficiency. Adopting resource-constrained embedded devices for IoT applications means ensuring low power consumption, low maintenance costs and possibly longer battery life. Meeting these requirements is particularly arduous as programmers are not able to monitor the energy consumption of their own software during development or when applications are finally deployed. In this paper, we discuss on-board real-time energy evaluation of both hardware and software during the developm…
Automatic construction of test sets: Practical approach
2005
The problem of symbolic execution and test generation is considered both for sequential and concurrent programs. Practical methods for test construction for the given program path are presented.
Computational Offloading in Mobile Edge with Comprehensive and Energy Efficient Cost Function: A Deep Learning Approach
2021
In mobile edge computing (MEC), partial computational offloading can be intelligently investigated to reduce the energy consumption and service delay of user equipment (UE) by dividing a single task into different components. Some of the components execute locally on the UE while the remaining are offloaded to a mobile edge server (MES). In this paper, we investigate the partial offloading technique in MEC using a supervised deep learning approach. The proposed technique, comprehensive and energy efficient deep learning-based offloading technique (CEDOT), intelligently selects the partial offloading policy and also the size of each component of a task to reduce the service delay and energy …
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
Virtual/Digital and Internet-based Machining
2008
This chapter provides comprehensive knowledge regarding the application of various virtual digital and information techniques to machining processes and machine tools, and their simulation and visualization. A number of manufacturing concepts used in modern industry, such as Internet-based manufacturing, digital manufacturing, virtual manufacturing and telemanufacturing, are characterized. In particular, architectures of digital manufacturing and virtual manufacturing, along with their practical applications, are presented. The architecture of the virtual machine tool and numerous examples of simulations of machining process performing on multi-axis/multitasking are visualized. Moreover, vi…